A Transformational Approach to Resource Analysis with Typed-Norms
نویسندگان
چکیده
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program’s execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. The main contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for itsed with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.
منابع مشابه
Deviant Workplace Behavior and Job Performance: The Moderating Effect of Transformational Leadership
This paper studies the moderating effect of Transformational Leadership (TL) on the relationship between Deviant Workplace Behavior (DWB) and Job Performance (JP). Data were collected using a self-administered questionnaire from 288 (n=288) respondents using quota sampling approach. The analysis shows that employees’ DWB negates JP and there is a moderating effect of TL behavior on the relation...
متن کاملTransformational Change in Environmental and Natural Resource Management
It is widely agreed the Anthropocene has seen an unprecedented decline in the natural resources conditions that have underpinned the economic growth of the last few hundred years. As communities, we have not responded to Boulding’s vision of ‘the coming space ship earth’ although not for want of much official and private effort. As ‘wicked problems’ the impacts have been often ignored or off lo...
متن کاملPrioritising, Ranking and Resource Implementation - A Normative Analysis
Background Priority setting in publicly financed healthcare systems should be guided by ethical norms and other considerations viewed as socially valuable, and we find several different approaches for how such norms and considerations guide priorities in healthcare decision-making. Common to many of these approaches is that interventions are ranked in relation to each other, following the appli...
متن کاملA transformational approach to generic software development based on higher-order, typed functional signatures
متن کامل
Diversity management and its effect on staffs’ affective commitment with study on mediation role of Transformational leadership and perceived justice
The present research aims to examine the relationship between diversity management and its effect on staffs’ affective commitment with study on mediation role of Transformational leadership and perceived justice in Qaen health network. In theoretical sector with integration of human resource management and performance theories and the theory of diversity and leadership, a theoretical model has ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013